Robust Control Policies Given Formal Specifications in Uncertain Environments
نویسندگان
چکیده
منابع مشابه
Ensuring Robust Agent Control in Uncertain Environments
Agent control involves reasoning about local problem solving ac tivities interacting with other agents planning for a course of action and contingencies in the event of failure of the action and nally carry ing out the actions with limited resources and uncertainty about agent outcomes and the actions of other agents The growing complexity and dynamics of agents and the environments in which th...
متن کاملRewrite Specifications of Access Control Policies in Distributed Environments
We define a metamodel for access control that takes into account the requirements of distributed environments, where resources and access control policies may be distributed across several sites. This distributed metamodel is an extension of the category-based metamodel proposed in previous work (from which standard centralised access control models such as MAC, DAC, RBAC, Bell-Lapadula, etc. c...
متن کاملRobust Planning in Uncertain Environments
This paper describes a novel approach to planning which takes advantage of decision theory to greatly improve robustness in an uncertain environment. We present an algorithm which computes conditional plans of maximum expected utility. This algorithm relies on a representation of the search space as an AND/OR tree and employs a depth-limit to control computation costs. A numeric robustness fact...
متن کاملLearning Robust Dialog Policies in Noisy Environments
Modern virtual personal assistants provide a convenient interface for completing daily tasks via voice commands. An important consideration for these assistants is the ability to recover from automatic speech recognition (ASR) and natural language understanding (NLU) errors. In this paper, we focus on learning robust dialog policies to recover from these errors. To this end, we develop a user s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Control Systems Letters
سال: 2017
ISSN: 2475-1456
DOI: 10.1109/lcsys.2017.2700333